../linux/clock_gettime.asm